(well-defined